Boolean restriction categories and taut monads
نویسندگان
چکیده
منابع مشابه
Monads in double categories
Introduction The development of the formal theory of monads, begun in [23] and continued in [15], shows that much of the theory of monads [1] can be generalized from the setting of the 2-category Cat of small categories, functors and natural transformations to that of a general 2-category. The generalization, which involves defining the 2-category Mnd(K) of monads, monad maps and monad 2-cells ...
متن کاملMonads on Dagger Categories
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when all structure respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleis...
متن کاملCategories and Monads in HOL-Omega
We consider HOL-Omega, a recent extension by Homeier to the type system of the HOL theorem prover. We describe how it permits an implementation of categories, where we model the objects of a category as the types of HOL-Omega. This gives a “light-weight” implementation of categories into a theorem prover: we explore how this is sufficient for easily proving some non-trivial results of category ...
متن کاملProbabilities, distribution monads, and convex categories
Probabilities are understood abstractly as forming a monoid in the category of effect algebras. They can be added, via a partial operation, and multiplied. This generalises key properties of the unit interval [0, 1]. Such effect monoids can be used to define a probability distribution monad, again generalising the situation for [0, 1]-probabilities. It will be shown that there are translations ...
متن کاملBimonads and Hopf Monads on Categories
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to monoidal categories which in a certain sense follow the classical trace. Here we do not pose any conditions on our ba...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.02.014